Mathematical proof - PDFSEARCH.IO - Document Search Engine

Mathematical proof
Results: 1839

#	Item
821	Modal Proofs As Distributed Programs∗ Limin Jia David Walker Princeton University August 31, 2003 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Propositional calculus Deduction Logic in computer science Philosophical logic Natural deduction Curry–Howard correspondence Sequent calculus Entailment Intuitionistic logic Logic Mathematical logic Proof theory
822	Witnessing (Co)datatypes Jasmin Christian Blanchette1,2 , Andrei Popescu3 , and Dmitriy Traytel4 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Curry–Howard correspondence Dependently typed programming Logic in computer science Philosophy of computer science Type theory Logic Constructible universe Ordinal number Functor Mathematical logic Mathematics Proof theory
823	Every River on Earth: Writing from Appalachian Ohio Add to Reading List Source URL: www.ohioswallow.com Language: English - Date: 2015-01-27 11:15:20 Geography of North America Appalachian Ohio Galley proof Appalachia Ohio West Virginia Publishing Mathematical proof Cleveland Geography of the United States States of the United States United States
824	A Survey of Axiom Selection as a Machine Learning Problem Jasmin Christian Blanchette1 and Daniel Kühlwein2 1 Fakultät für Informatik, Technische Universität München, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2014-07-10 18:23:49 Mathematical logic Logical syntax Philosophical logic Automated theorem proving Mathematical proof Axiom of choice Theorem First-order logic Conjecture Logic Mathematics Formal systems
825	More SPASS with Isabelle Superposition with Hard Sorts and Configurable Simplification Jasmin Christian Blanchette1 , Andrei Popescu1 , Daniel Wand2 , and Christoph Weidenbach2 1 Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2013-08-15 04:44:13 Theoretical computer science Superposition calculus SPASS Resolution Isabelle Proof assistant Vampire Automated reasoning First-order logic Automated theorem proving Mathematics Mathematical logic
826	DIGITAL Mechanical Specifications Universal Magazines uses CTP Technology in production of this magazine. Add to Reading List Source URL: www.universalmagazines.com.au Language: English - Date: 2012-03-20 19:22:55 Printing Knowledge Epistemology Mathematical logic Mathematical proof Email
827	AUSTRALIAN EXCELLENCE IN PATCHWORK AND QUILTING FULL PAGE Bleed size Add to Reading List Source URL: www.universalmagazines.com.au Language: English - Date: 2012-03-26 21:42:39 Mathematical proof RGB color model Printing Printer Knowledge Technology Media technology Office equipment Typography Email
828	DIGITAL Mechanical Specifications Universal Magazines uses CTP Technology in production of this magazine. Add to Reading List Source URL: www.universalmagazines.com.au Language: English - Date: 2012-03-15 20:46:19 Typography Technology Bleed Mathematical proof Email Printer Printing World Wide Web Knowledge Office equipment Terminology
829	DIGITAL Mechanical Specifications FOR YOUR CHILD -- NSW & VIC FULL PAGE Bleed size Add to Reading List Source URL: www.universalmagazines.com.au Language: English - Date: 2012-03-27 00:11:30 Mathematical proof Knowledge Epistemology Documents Printing Trim
830	Specification and Proof of Programs with Frama-C SAC 2013 Tutorial Nikolai Kosmatov, Virgile Prevosto, Julien Signoles CEA LIST Add to Reading List Source URL: kosmatov.perso.sfr.fr Language: English - Date: 2013-03-25 09:07:11 Formal methods Frama-C ANSI/ISO C Specification Language Program logic Theoretical computer science Formal verification Hoare logic Mathematical proof Automated theorem proving Software engineering Software Computing

UPDATE